theory of types - Turc Anglais Dictionnaire